Listing 1 - 8 of 8 |
Sort by
|
Choose an application
Algebraic fields --- Model theory --- Logic, Symbolic and mathematical --- Algebraic number fields --- Algebraic numbers --- Fields, Algebraic --- Algebra, Abstract --- Algebraic number theory --- Rings (Algebra) --- Algebraic fields. --- Model theory.
Choose an application
510.67 --- #KOPO:Prof. R. Holvoet --- Theory of models --- Model theory. --- 510.67 Theory of models --- Model theory --- Logic, Symbolic and mathematical --- Mathematical logic --- Théorie des modèles --- Logique mathématique --- Théorie des modèles --- Théorie des modèles. --- Logique mathématique. --- Logic, Symbolic and mathematical. --- Logique mathématique
Choose an application
Independence (Mathematics) --- 510.2 --- Logic, Symbolic and mathematical --- Foundations of mathematics --- Algebra, Boolean. --- Axiomatic set theory. --- Model theory. --- Independence (Mathematics). --- 510.2 Foundations of mathematics --- Algebra, Boolean --- Axiomatic set theory --- Model theory --- Axioms --- Set theory --- Boolean algebra --- Boole's algebra --- Algebraic logic
Choose an application
510.67 --- Completeness theorem --- Logic, Symbolic and mathematical --- Model theory --- 510.67 Theory of models --- Theory of models --- Complétude, Théorème de --- Introduction --- Completeness theorem. --- Mathematics (General) --- Mathematics (General). --- Model theory. --- 510.6 --- 510.6 Mathematical logic --- Mathematical logic --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Complétude, Théorème de. --- Introduction. --- Théorie des modèles --- Logique mathématique
Choose an application
Provability, Computability and Reflection
Nonclassical mathematical logic --- Model theory --- Computable functions --- Fonctions calculables --- Congresses --- Congrès --- -Model theory --- -Nonclassical mathematical logic --- -Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses. --- -Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Mathematical logic, Nonclassical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Logique mathématique --- Nonclassical mathematical logic - Congresses --- Model theory - Congresses --- Computable functions - Congresses
Choose an application
Mathematical logic --- 510.6 --- 510.6 Mathematical logic --- Categories (Mathematics) --- Model theory --- Toposes --- Catégories (Mathématiques) --- Théorie des modèles --- Logique mathématique --- Catégories (mathématiques) --- Logique mathematique --- Logique du premier ordre
Choose an application
Mathematical logic --- Nonstandard mathematical analysis --- Analyse mathématique non standard --- 517.1 --- Analysis, Nonstandard mathematical --- Mathematical analysis, Nonstandard --- Non-standard analysis --- Nonstandard analysis --- Model theory --- Introduction to analysis --- Nonstandard mathematical analysis. --- 517.1 Introduction to analysis --- Analyse mathématique non standard --- Espaces linéaires normés --- Normed linear spaces --- Espaces linéaires normés. --- Normed linear spaces. --- Topologie generale
Choose an application
Computer science --- #TCPW P3.0 --- 519.6 --- 681.3*D11 --- 681.3*F41 --- 681.3*I23 --- Computational mathematics. Numerical analysis. Computer programming --- Applicative (functional) programming --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*D11 Applicative (functional) programming --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Software engineering. --- Mathematics. --- Software Engineering/Programming and Operating Systems. --- Mathematics, general. --- Math --- Science --- Computer software engineering --- Engineering --- Langages de programmation
Listing 1 - 8 of 8 |
Sort by
|